﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;

namespace ExternalLib2
{
    public class Toy
    {
        private int playedTimes = 0;

        public int PlayedTimes
        {
            get { return playedTimes; }
            set { playedTimes = value; }
        }
    }


}
